121. Random processes in physical systems : an introduction to probability-based computer simulations
پدیدآورنده : Whitney, Charles Allen.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Science-- Computer simulation,، Random walks )Mathematics(,، Programming )Electronic computers(
رده :
Q
183
.
9
.
W49
1990
122. Relational methods in computer science
پدیدآورنده : C. Brink, W. Kahl, G. Schmidt )eds.(
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Electronic digital computers - Programming , Mathematics
رده :
QA
76
.
6
.
R442
1997
123. Samopodobie i fraktaly :
پدیدآورنده : O.I. Shelukhin, A.V. Osin, S.M. Smolʹskiĭ.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Electronic computers. Computer science.,Mathematics.,Physics.,Science.,Telecommunication.
124. Semantics and algebraic specification
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Mosses, Peter. ; Programming languages (Electronic computers) ; Semantics ; Congresses. ; Computer science ; Mathematics ; Congresses. ; Algebraische Spezifikation ; Aufsatzsammlung. ; Formale Methode ; Aufsatzsammlung. ; Programmiersprache ; Semantik ; A
125. Semantics of the probabilistic typed lambda calculus : Markov Chain semantics, termination behavior, and denotational semantics
پدیدآورنده : Draheim, Dirk, 9691-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Programming languages )Electronic computers( -- Semantics,Mathematics ، Programming languages )Electronic computers(
رده :
QA
76
.
7
.
D72S4
126. Simple digital computing examples
پدیدآورنده : Gregory, Malcolm S.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Electronic digital computers-- Programming,، Mathematics-- Data processing
رده :
QA
76
.
5
.
G69
127. Studies in computer science
پدیدآورنده : POLLACK,SEYMOUR V
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : ELECTRONIC DATA PROCESSING-ADDRESSES, , ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , MATHEMATICS-DATA PROCESSING-
رده :
QA
76
.
24
.
S78
128. The logic of computers arithmaetic
پدیدآورنده : FLORES,IVAN
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : ELECTRONIC DIGITAL COMPUTERS , NUMERICAL CALCULATIONS , BINARY SYSTEM )MATHEMATICS(
رده :
QA
76
.
5
.
F46
129. The science of computing
پدیدآورنده : Meissner, Loren P.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Electronic digital computers-- Programming,، Computer science-- Mathematics
رده :
QA
76
.
6
.
M44
130. The science of computing
پدیدآورنده : Meissner, Loren P
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Electronic digital computers -- Programming,، Computer science -- Mathematics
رده :
QA
76
.
6
.
M44
131. Topics in interval analysis
پدیدآورنده : edited by E. Hansen,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Interval analysis )Mathematics( - Congresses,Electronic digital computers - Programming - Congresses
رده :
QA
.
S92
297
1968
132. taxmann`s mathematics for ca professional education [cours-I]
پدیدآورنده : / J.K. THAKRAL
کتابخانه: کتابخانه مرکزی دانشگاه ایلام (ایلام)
موضوع : Mathematics, Data processing,Parallel processing (Electronic computers)
رده :
QA76
.
95
.
T425M3
2005
